@INPROCEEDINGS{5479529, 
author={Orfanus, D. and Janacik, P. and Wagner, F.R.}, 
booktitle={Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2010 13th IEEE International Symposium on}, title={Locality-Aware Extension of pi-Calculus to Model Self-Organizing Behavior in Massively Distributed Embedded Systems}, 
year={2010}, 
month={may}, 
volume={}, 
number={}, 
pages={29 -38}, 
keywords={Algebra;Conferences;Design methodology;Distributed computing;Embedded system;Libraries;Oceans;Process design;Real time systems;Wireless sensor networks;distributed processing;embedded systems;fault tolerant computing;pattern clustering;pi calculus;wireless sensor networks;locality awareness;massively distributed embedded system;pi-calculus;process algebra;self-organizing clustering;wireless sensor network;Process algebra;ad hoc networks;clustering;emergence;locality awareness;pi-calculus;self-organization;wireless sensor networks;}, 
doi={10.1109/ISORCW.2010.16}, 
ISSN={},}
@incollection{,
year={2007},
isbn={978-3-540-75139-7},
booktitle={Computational Methods in Systems Biology},
volume={4695},
series={Lecture Notes in Computer Science},
editor={Calder, Muffy and Gilmore, Stephen},
doi={10.1007/978-3-540-75140-3_13},
title={Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus},
url={http://dx.doi.org/10.1007/978-3-540-75140-3_13},
publisher={Springer Berlin Heidelberg},
author={Phillips, Andrew and Cardelli, Luca},
pages={184-199}
}


@INPROCEEDINGS{Pierce97pict:a,
    author = {Benjamin C. Pierce and David N. Turner},
    title = {Pict: A programming language based on the pi-calculus},
    booktitle = {PROOF, LANGUAGE AND INTERACTION: ESSAYS IN HONOUR OF ROBIN MILNER},
    year = {1997},
    pages = {455--494},
    publisher = {MIT Press}
}
@INPROCEEDINGS{Cremet03pilib:a,
    author = {Vincent Cremet and Martin Odersky},
    title = {PiLib: A hosted language for pi-calculus style concurrency},
    booktitle = {In Dagstuhl proc.: Domain-Specific Program Generation},
    year = {2003}
}
@Comment @ONLINE{gccint,
@Comment title = {GNU Compiler Collection (GCC) Internals},
@Comment note = {\url{http://gcc.gnu.org/onlinedocs/gccint/}}
@Comment }

@Comment @misc{usinggcc,
@Comment title = {Using the GNU Compiler Collection, (For GCC Version 4.3.6)},
@Comment author = {Richard M. Stallman and the GCC Developer Community}
@Comment }
@Comment @ONLINE{gccwiki,
@Comment title = {GCC Wiki},
@Comment note = {\url{http://gcc.gnu.org/wiki}}
@Comment }
@Comment @ONLINE{BrianJ,
@Comment title = {An Introduction to GCC},
@Comment author = {Brian J. Gough},
@Comment note = {\url{http://www.network-theory.co.uk/gcc/intro/}}
@Comment }
@Comment @ONLINE{drdobbs,
@Comment title = {Dr.Dobb's Journal, Retargeting the GNU C compiler},
@Comment note = {\url{http://drdobbs.com/184401529}}
@Comment }

@Comment @book{Aho,
@Comment author = {A. V. Aho and J. D. Ullman},
@Comment title = {Principles of Compiler Design.},
@Comment publisher = {Addison-Wesley},
@Comment year = {1977}
@Comment }

@Comment @article{Davidson,
@Comment author = {J. W. Davidson and C. W. Fraser},
@Comment title = {Code selection through object code optimization},
@Comment journal = { ACM Transactions on Programming Languages and Systems},
@Comment volume = {6},
@Comment number = {4},
@Comment year = {1984},
@Comment month = {October},
@Comment pages = {505-526}
@Comment }

@Comment @manual{dot,
@Comment author = {Emden Gansner and Eleftherios Koutsofios and Stephen North.},
@Comment title = {Drawing Graphs with \emph{dot}.}
@Comment }

@Comment @misc{Khedker,
@Comment author = {Uday P. Khedker and Ankita Mathur},
@Comment title = {specRTL: A Language for GCC Machine Descriptions.},
@Comment note = {\url{http://www.cse.iitb.ac.in/grc/index.php?page=specRTL}}
@Comment }
@Comment @article{kai-wei,
@Comment author = {Lin, K.-W. and Chen, P.-S. (2012)},
@Comment title = {An assistance tool employing a systematic methodology for GCC retargeting.},
@Comment journal = {Journal of Software: Practice and Experience},
@Comment volume = {42},
@Comment number = {1},
@Comment pages = {19-36}
@Comment }
@Comment @conference{Sameera,

@Comment author = {Sameera Deshpande and Uday P. Khedker},
@Comment title = {Incremental Machine Descriptions for GCC},
@Comment year = {2007},
@Comment booktitle = {GREPS: International Workshop on GCC for Research in Embedded and Parallel Systems}
@Comment }
@Comment @article{Collberg,
@Comment author = {Christian S. Collberg},
@Comment title = {Automatic Derivation of Machine Descriptions},
@Comment journal = {ACM Transactions on Programming Languages and Systems},
@Comment volume = {24},
@Comment number = {4},
@Comment month = {July},
@Comment year = {2002},
@Comment pages = {369-408}
@Comment }
@Comment @article{Dias,
@Comment author = {J. Dias and N. Ramsey.},
@Comment title = {Automatically generating instruction selectors using declarative machine descriptions},
@Comment booktitle = {In Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages.},
@Comment pages = {403-416},
@Comment year = {2010}
@Comment } 

@Comment @misc{gccworkshop,
@Comment title = {Essential Abstractions in GCC},
@Comment year = {2011},
@Comment note = {\url{http://www.cse.iitb.ac.in/grc/gcc-workshop-11/}}
@Comment }
